Using Constrained Resolution for Abductive Temporal Reasoning

We describe in this article an abductive procedure based on a constrained resolu tion principle The choice of constrained resolution is motivated by the whish to gain full advantage of using rei ed tempo ral logics For this purpose it is interest ing to deal e ciently with temporal order ing and equality relation between instants The constrained resolution principle de scribed here is a solution to this point It is an instance of the more general con strained resolution principle of H J B urck ert It also relies on the work done in the area of temporal constraint propagation For the purpose of temporal reasoning it is also necessary to cope with temporal per sistency of known and deduced facts This point is solved by handling persistency in an abductive fashion